101![Towards a user-centred method for studying CVLEs Daphne Economou, William L. Mitchell and Tom Boyle* Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manc Towards a user-centred method for studying CVLEs Daphne Economou, William L. Mitchell and Tom Boyle* Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manc](https://www.pdfsearch.io/img/ef42dafc2541ccaacf89a045b02b0047.jpg) | Add to Reading ListSource URL: ui4all.ics.forth.grLanguage: English - Date: 2007-11-27 14:01:51
|
---|
102![Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University](https://www.pdfsearch.io/img/cf62955c99e977586a957ab7849b41d7.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2010-03-09 17:40:17
|
---|
103![RT : A Role-based Trust-management Framework∗ Ninghui Li John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, mitchell}@cs.stanford.edu RT : A Role-based Trust-management Framework∗ Ninghui Li John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, mitchell}@cs.stanford.edu](https://www.pdfsearch.io/img/44733d2027e469474064245e3407013f.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2003-11-04 15:32:03
|
---|
104![Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell Run-Time Enforcement of Secure JavaScript Subsets Sergio Maffeis Imperial College London John C. Mitchell](https://www.pdfsearch.io/img/6d60d48d6d19cf19aef090dc03840633.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2009-06-18 11:30:20
|
---|
105![Beyond Proof-of-compliance: Security Analysis in Trust Management NINGHUI LI Purdue University JOHN C. MITCHELL Stanford University Beyond Proof-of-compliance: Security Analysis in Trust Management NINGHUI LI Purdue University JOHN C. MITCHELL Stanford University](https://www.pdfsearch.io/img/2ec1a312576312f341cc5a6647884be8.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2007-12-17 01:15:33
|
---|
106![Privacy and Contextual Integrity: Framework and Applications Adam Barth Anupam Datta John C. Mitchell Stanford University Privacy and Contextual Integrity: Framework and Applications Adam Barth Anupam Datta John C. Mitchell Stanford University](https://www.pdfsearch.io/img/6a3368c248f935ad1d0c29f5b5210293.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2007-12-17 00:58:55
|
---|
107![WMAC-2 report
John Mitchell and Christian Jakob WMAC Co-Chairs WMAC-2 report
John Mitchell and Christian Jakob WMAC Co-Chairs](https://www.pdfsearch.io/img/a4dd2c1bb9911764a2e4a249e3843e01.jpg) | Add to Reading ListSource URL: www.wcrp-climate.orgLanguage: English - Date: 2013-07-04 10:08:22
|
---|
108![How Good are Humans at Solving CAPTCHAs? A Large Scale Evaluation Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Dan Jurafsky , , , mitchell@ How Good are Humans at Solving CAPTCHAs? A Large Scale Evaluation Elie Bursztein, Steven Bethard, Celine Fabry, John C. Mitchell, Dan Jurafsky , , , mitchell@](https://www.pdfsearch.io/img/ae8b42a9fe43a9121868ca658e1c6707.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2010-03-09 17:30:39
|
---|
109![Privacy and Contextual Integrity: Framework and Applications Adam Barth Anupam Datta John C. Mitchell Stanford University Privacy and Contextual Integrity: Framework and Applications Adam Barth Anupam Datta John C. Mitchell Stanford University](https://www.pdfsearch.io/img/f844e53cdcc7c0a97fdb48888fe503d5.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2015-04-16 18:44:09
|
---|
110![Inductive Trace Properties for Computational Security Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. Protocol authentication properties are generally Inductive Trace Properties for Computational Security Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. Protocol authentication properties are generally](https://www.pdfsearch.io/img/fa80e53a4c1c98a9dbca18416d47acc4.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2006-12-27 15:51:40
|
---|